استدلال پیرامون انتقال کنترل
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده ریاضی
- نویسنده سمیه سلیمانی نیا
- استاد راهنما مجتبی آقایی امیر هاشمی
- تعداد صفحات: ۱۵ صفحه ی اول
- سال انتشار 1390
چکیده
چکیده: در این پایان نامه بعد از تعریف مفهوم کنترل، روابط و قضایای مربوطه را بررسی و به معرفی سیستم dcl-pc می پردازیم که منطقی برای استدلال درباره توانایی عوامل و ائتلافی از عوامل با استفاده از انتقال کنترل بین عوامل می باشد. پایه منطقی dcl-pc سیستم cl-pc می باشد. این سیستم منطقی است برای همکاری بین عوامل که عوامل مجموعه ای از متغییرهای گزاره ای را کنترل می کنند و توانایی ارزشدهی به متغییرها را دارند. امتیاز این دو سیستم این است که اعمال تنها به دو عمل ارزشدهی و انتقال کنترل محدود است و مدل بسیار ساده تر می شود. در پایان به بررسی بازی دومینو با استفاده از وجه های منطقی ? و ? می پردازیم اصول بازی را ذکر و ثابت می کنیم سیستم مربوطه سالم و تمام است. رده بندی موضوع: (30t68) 45b03. کلمات کلیدی: ائتلاف منطقی، کنترل گزاره ای، انتقال کنترل، معناشناسی مستقیم، معناشناسی کریپکی، مدل بررسی گر، صدق پذیری.
منابع مشابه
کنترل بهینة مدت زمان انتقال مداری پیشرانه کم
در طول عمر مفید ماهواره ها بسته به ماموریت تعریف شده نیاز به تغییر مدار کاری ماهواره خواهد شد. این تغییر می‌تواند شامل تغییر ارتفاع ، تغییر شیب و یا تغییر زاویهRAANمدار ماهواره باشد. برای انجام این هدف باید از تراستر های هایی استفاده کرد . با توجه به وزن کم تراسترهای الکتریکی در مواردی که محدودیت وزنی برای انتقال ماهواره به مدار وجود دارد از این تراستر استفاده می‌شود . در این تراسترها ضربه ویژه...
متن کاملافسانۀ ماهیت استدلال
در این مقاله تلاش شده سؤالات ذیل مورد بحث و تأمل قرار گیرد: آیا استدلال‌های اقامه‌شده و اقامه‌نشده دارای ماهیتی، جوهری، و یا ذاتی فراتاریخی و جهانشمول هستند و بر سر آن هم اجماع تام و تمامی همواره وجود داشته و خواهد داشت؟ چرا بسیاری از استدلال‌های تاریخ فلسفه که زمانی متقاعدکننده بودند قدرت خود را از دست داده‌اند؟ هنگامی که ما می‌گوییم «من با این استدلال شما قانع(یا متقاعد) شدم» آیا مراد ا...
متن کاملاستدلال در اعتباریات
اعتباریات از مسائل مهم فلسفه جدید اسلامی و نیز علم اصول است. در فلسفه اسلامی سنتی «اعتباریات» به صورت مستقل مورد بحث قرار نگرفته است؛ تا این‌که علامه طباطبایی در کتاب «اصول فلسفه و روش رئالیسم» آن را مطرح می‌کند. در علم اصول هم، صرفاً مجموعه مباحثی پراکنده در این زمینه وجود داشته و تحت عنوان واحدی مطرح نشده است و آن مباحث هم عمق کافی ندارد. در سلسله بحث‌های «فلسفه علم اصول» بحث اعتباریات را به ص...
متن کاملدربارة چند استدلال هستی‌شناسیک گودلی
جردن هوارد سوبل در مقالة ۱۹۸۷، و سپس در کتاب ۲۰۰۴ خود، نشان داد که استدلال هستی‌شناسیک جدیدی که گودل در سال ۱۹۷۰ پیشنهاد کرد با شکست وجهی مواجه است و درواقع صحیح نیست. سی. انتونی اندرسون در سال ۱۹۹۰ اصلاحاتی پیشنهاد کرد و در آن راه را بر اثبات قضایای سوبل بست و نشان داد که می‌توان روایتی از استدلال گودل داشت که با شکست وجهی مواجه نباشد. اما گراهام آپی با نقیضه‌ای که در سال ۱۹۹۶، و سپس ۲۰۰۰، مطر...
متن کاملارزیابی انتقادی استدلال معرفتی و استدلال تعاکس بر حسن و قبح عقلی
آنچه ما «استدلال معرفتی» و «استدلال تعاکس» خوانده‌ایم دو استدلال از سه استدلالی‌ست که خواجه نصیرالدین طوسی، فیلسوف ـ متکلم امامی، در کتاب مهم و تأثیرگذار تجرید الاعتقاد، بر حُسن و قبح عقلی اقامه کرده است. نتیجۀ مورد نظر خواجه و مقدمات هر دو استدلال مبهم است و می‌توان تفسیرهای متعددی از آن‌ها ارائه داد. در این مقاله با تفکیک جهات معرفت‌شناختی و هستی‌شناختیِ هریک از است...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده ریاضی
کلمات کلیدی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023